101. Computational Semantics with Functional Programming
Author: / Jan Van Eijck and Christina Unger
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامهنویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
Classification :
QA76
,.
7
.
E43
2010
102. Computational semantics with functional programming
Author: \ Jan van Eijck and Christina Unger.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر
Classification :
QA
76
.
7
.
E35C6
2010
E-Book
,
103. Computational semantics with functional programming /
Author: Jan van Eijck and Christina Unger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
Classification :
QA76
.
7
.
E43
2010eb
104. Computer-aided design of language processors
Author: Shangin, V. F.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
Classification :
QA
76
.
76
.
T83
S53
105. Computer languages
Author: / by the editors of Time-Life Books
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers)
Classification :
QA
76
.
7
.
C648
1986
106. Computer methods in mathematics
Author: / (by) Robert L. Albrecht, Eric Lindberg (and) Walter Mara
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Data processing,Computers,Programming languages (Electronic computers)
Classification :
QA
76
.
5
.
A368
107. Computer programming languages
Author: / Neville J. Ford
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers)
Classification :
QA
76
.
7
.
F65
1990
108. Computer programming systems
Author: / (by) F. Peter Fisher (and) George F. Swindle
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Programming languages (Electronic computers)
Classification :
QA
76
.
5
.
F4
109. Computer science
Author: Cardenas, Alfonso F.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital Computers,، Programming languages )Electronic Computers(
Classification :
QA
76
.
5
.
C365
110. Computer science
Author: Cardenas , Alfonso F.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Electronic digital computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
C365
111. Computer science question bank
Author: Basandra, Suresh K.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computers,، Electronic data processing,، Programming Languages )Electronic Computers(
Classification :
QA
76
.
B3
1996
112. Computer science reader :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
24
C667
2013
113. Computer semantics; studies of algorithms, processors, and languages
Author: Lee, John A. N.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
Classification :
QA
76
.
6
.
L38
114. Computers and computer languages
Author: Silverman, Gordon
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic digital computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
S5524
115. Computers and languages: Theory and Practice
Author: Anton, Nijholt
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Electronic digital computers- Programming,Programming language (Electronic Computer)
Classification :
QA
،
76
.
6
،.
N55
،
1988
116. Computers and languages : theory and practice
Author: Anton Nijholt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
N55
1988
117. Computing in systems described by equations
Author: O'Donnell, Michael J.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Interpreters )Computer programs(,، Equations
Classification :
QA
76
.
L4
v
.
58
118. Computing in systems described by equations
Author: O'Donnell, Michael J
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Equations
Classification :
QA
76
.
5
.
O3
119. Computing in systems described by equations
Author: Michael J.O'Donnell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Interpreters )Computer programs(,، Equations,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
58
120. Concepts in user interfaces : a reference model for command and response languages
Author: by members of IFIP Working Group 2.7 ; edited by David Beech
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming languages )Electronic computers(,، User interfaces )Computer systems(
Classification :
QA
76
.
L4
v
.
234
